1. Analysis :
پدیدآورنده: Steven R. Lay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.
رده :
QA300
.
L427
2006
2. Analysis
پدیدآورنده: / Steven R. Lay
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Mathematical analysis,Proof theory
رده :
QA
300
.
L427
1986
3. Analysis: An introduction to proof
پدیدآورنده: Steven R. Lay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Mathematical analysis,Proof theory
رده :
QA
,
300
,.
L427
4. Analysis:an introduction to proof
پدیدآورنده: LAY,STEVEN R
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MATHEMATICAL ANALYSIS , PROOF THEORY
رده :
QA
300
.
L427
5. Analysis: an introduction to proof
پدیدآورنده: Lay, Steven R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Mathematical analysis,، Proof theory
رده :
QA
300
.
L427
1986
6. Analysis with an introduction to proof
پدیدآورنده: Steven R. Lay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical analysis -- Textbooks.,Mathematical analysis.,Proof theory -- Textbooks.
رده :
QA300
.
S748
9999
7. Analysis with an introduction to proof
پدیدآورنده: Steven R. Lay
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Mathematical analysis,Proof theory
8. Extending the fronters of mathematics:inquiries into ....
پدیدآورنده: / By Edward B.Burger
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Proof theory,Mathematical analysis,Logic symbolic & mathematical
رده :
511
.
36
B954e
9. Iterated inductive definitions and subsystems of analysis
پدیدآورنده: / Wilfried Buchholz ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematical analysis -- Foundations,Induction (Mathematics),Proof theory
رده :
QA
299
.
8
.
I85
1981
10. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده: )by( Wilfreid Buchholz )et al(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
11. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
12. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده: Wilfried Buchholz ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
13. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده: Wilfried Buchholz ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
14. Mathematical analysis and proof
پدیدآورنده: / by David S.G. Stirling
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Mathematical analysis
رده :
QA9
.
54
.
S757
1997
15. Mathematical analysis and proof /
پدیدآورنده: David S.G. Stirling
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical analysis,Proof theory
رده :
QA9
.
54
.
S75
2009
16. Mathematical analysis and proof
پدیدآورنده: Stirling, David S.G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Mathematical analysis,، Proof theory
رده :
QA
300
.
S585
1997
17. Mathematical analysis and proof
پدیدآورنده: Stirling, David S. G.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Mathematical analysis , Proof theory
رده :
QA
300
.
S887
1997
18. Proof theory of impredicative subsystems of analysis /
پدیدآورنده: Wilfried Buchholz, Kurt Schütte
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical analysis,Proof theory
19. Proof theory of impredicative subsystems of analysis
پدیدآورنده: Wilfried Buchholz, Kurt Schutte
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
20. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده: Rossi, Richard J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
